Type Extension

• Syntax:

  TYPE type_name EXTENDS type WITH [type_declaration_signature];
  

• Description:

  A type extension is obtained by extending the signature of the type (in the meaning of concatenation). The extended signature must be an acceptable extension (super-type) of the original signature. Currently, the only type of extension used is the extension of the RECORD type with extra fields. Optionally, an extension can be empty (nothing gets added).

  Examples:

  TYPE BasicType "Basic type" =
  RECORD
  {
    Name: String;
  };
  

  TYPE ExtendedType "Extended type"
  EXTENDS BasicType WITH
  RECORD
  {
    Address: String;
  };
  

  The "ExtendedType" is a type extended from "BasicType".